import fileinput